101. Automata theory : machines and languages
پدیدآورنده : Kain, Richard Y
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Machine theory,، Formal languages,، Mathematical linguistics
رده :
QA
267
.
K35
102. Automata theory: machines and languages
پدیدآورنده : Kain, Richard Y.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory,، Formal languages,، Mathematical linguistics
رده :
QA
267
.
K35
103. Automatentheorie und formale Sprachen
پدیدآورنده : Hotz, Gunter
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Machine theory,، Formal languages,، Machine theory
رده :
QA
267
.
H6
104. Combinatorics on traces
پدیدآورنده : Diekert, Volker
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4
.
D54
1990
105. Combinatorics on traces
پدیدآورنده : Diekert, Volker, 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Sequential machine theory,، Formal languages
رده :
QA
76
.
L28
Vol
.
454
106. Communication and concurrency
پدیدآورنده : Milner, Robin
موضوع : ، Machine theory,، Formal languages
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
107. Communication and concurrency
پدیدآورنده : Milner, R.)Robin(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Machine theory,، Formal languages
رده :
QA
267
.
M533
1989
108. Communication and concurrency /
پدیدآورنده : Robin Milner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages.,Machine theory.,Operating systems (Computers).,Parallélisme (Informatique),Systèmes d'exploitation (Ordinateurs)-- Logiciels.,Betriebssystem,Betriebssystem.,Formal languages.,Kommunikationssystem,Kommunikationssystem.,Machine theory.,Parallelverarbeitung,Programmierung,Verteiltes System
رده :
QA267
.
M533
1989
109. Communication and concurrency
پدیدآورنده : Milner, Robin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Machine theory,، Formal languages
رده :
QA
267
.
M533
110. Communication & concurrency
پدیدآورنده : MILNER,ROBIN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : MACHINE THEORY , FORMAL LANGUAGES
رده :
QA
267
.
M533
111. Computability, Complexity, and Languages
پدیدآورنده : \ Martin D. Davis, Elaine J. Weyuker
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبانهای صوری
رده :
E-Book
,
112. Computability, complexity, and languages :
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
113. Computability, complexity, and languages
پدیدآورنده : Martin D. Davis, Elaine J. Weyuker,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Machine theory,Computational complexity,Formal languages
رده :
QA
.
D38
267
1983
114. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin, 8291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
115. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin
موضوع : ، Machine theory,، Computational complexity,، Formal languages
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
116. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Machine theory,Computational complexity,Formal languages
رده :
QA
267
.
D38
1994
117. Computability, complexity, and languages fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D38
118. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin, 8291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
1994
119. Current trends in theoretical computer science: essays and tutorials
پدیدآورنده : edited by G. Rozenberg, A. Salomua
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Machine theory,، formal languages
رده :
QA
267
.
C87
